Embedding small amounts of python into batch scripts